A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows

We address the problem of time optimal software pipelining of loops with control ows, one of the most di cult open problems in the area of parallelizing compilers. We present a necessary condition for loops with control ows to have equivalent time optimal programs, generalizing the result by Schwiegelshohn et al., which has been the most signi cant theoretical result on the problem. As part of the formal treatment of the problem, we propose a new formalization of software pipelining, which provides a basis of our proof as well as a new theoretical framework for software pipelining research. Being the rst generalized result on the problem, our work described in this paper forms an important rst step towards time optimal software pipelining.